1. Advances in Petri Nets 1990
پدیدآورنده : by Grzegorz Rozenberg.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer Communication Networks.,Computer science.,Computer software.
2. Advances in computers.
پدیدآورنده : edited by Marvin V. Zelkowitz.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computers.,Electronic data processing.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Computers.,Electronic data processing.
رده :
QA76
.
A3eb
vol
.
45
3. Application and Theory of Petri Nets 1995 :
پدیدآورنده : edited by Giorgio De Michelis, Michel Diaz.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer architecture.,Computer science.,Microprocessors.
رده :
QA267
.
E358
1995
4. Application and theory of Petri nets :
پدیدآورنده : edited by Claude Girault and Woflgang Reisig.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : fiabilité,Petri nets -- Congresses.,protocole accès.
5. Application and theory of Petri nets :
پدیدآورنده : edited by Claude Girault and Woflgang Reisig.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : fiabilité,Petri nets -- Congresses.,protocole accès.
رده :
QA267
.
E358
1982
6. Architecture and Design of Distributed Embedded Systems :
پدیدآورنده : edited by Bernd Kleinjohann.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Computer-aided design.
7. CAD/CAM Robotics and Factories of the Future '90 :
پدیدآورنده : edited by Suren N. Dwivedi, Alok K. Verma, John E. Sneckenberger.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Engineering economy.,Engineering.
8. CAST Methods in Modelling :
پدیدآورنده : edited by Franz Pichler, Heinz Schwärtzel.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Computer-aided design.,Engineering mathematics.
رده :
TA168
.
E358
1992
9. Computational Logic - CL 2000 :
پدیدآورنده : edited by John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer architecture.,Computer science.,Software engineering.
رده :
QA76
.
9
.
L63
E358
2000
10. Computer Aided Systems Theory - EUROCAST '95 :
پدیدآورنده : edited by Franz Pichler, Roberto Moreno Díaz, Rudolf Albrecht.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Computers, Special purpose.,Microprocessors.
رده :
TA345
.
E358
1996
11. Computer Networks and Systems
پدیدآورنده : by Thomas G. Robertazzi.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Statistics.
12. Computer-aided design, manufacturing, modeling and simulation :
پدیدآورنده : edited by Xingui He [and others].
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer integrated manufacturing systems -- Congresses.,Computer-aided design -- Congresses.,Intelligent control systems -- Congresses.
رده :
TA174
.
E358
2011
13. [Computer aided systems theory] [revised selected papers]
پدیدآورنده : [EUROCAST 2003, 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003. Ed.: Roberto Moreno-Díaz ...].
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer Science,Computer-aided design -- Congresses.,Computer-aided engineering -- Congresses.
14. Concurrency and Nets :
پدیدآورنده : edited by Klaus Voss, Hartmann J. Genrich, Grzegorz Rozenberg.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer Communication Networks.,Computer science.
رده :
QA267
.
E358
1987
15. Contemporary issues in systems science and engineering /
پدیدآورنده : edited by MengChu Zhou, Han-Xiong Li, Margot Weijnen
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Systems engineering.
رده :
TA168
.
C635
2015
16. Discrete Event Systems :
پدیدآورنده : Moamar Sayed-Mouchaweh
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Control theory.,Discrete-time systems-- Automation.,Robots-- Control systems.,System analysis.
رده :
QA402
.
3
17. Distributed and parallel computing :
پدیدآورنده : Michael Hobbs, Andrzej M. Goscinski, Wanlei Zhou (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algorithmes -- Congrès.,Multiprocesseurs -- Programmation -- Congrès.,Parallel processing (Electronic computers) -- Congresses.
18. Dynamic analysis of Petri net-based discrete systems
پدیدآورنده : / Andrei Karatkevich
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Digital control system--Design and construction,Discrete-time systems,Petri nets,Parallel processing (Electronic computers
رده :
E-BOOK
19. Enabling Society with Information Technology
پدیدآورنده : edited by Qun Jin, Jie Li, Nan Zhang, Jingde Cheng, Clement Yu, Shoichi Noguchi.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Education.,Multimedia systems.
رده :
T58
.
5
E358
2002
20. Enterprise Information Systems II
پدیدآورنده : edited by Bernadette Sharp, Joaquim Filipe, José Cordeiro.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Data structures (Computer science),Software engineering.
رده :
T58
.
6
E358
2001
